Scheme theory

Results: 835



#Item
191Mining / Engineer / Proj construction / Scheme theory / Skill

PDF Document

Add to Reading List

Source URL: www.ecms.adelaide.edu.au

Language: English - Date: 2014-10-29 03:01:28
192Prolog / XSB / Logic programming / Logic / Continuation / Scheme / Software engineering / Programming language theory / Computer programming

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es

Add to Reading List

Source URL: www.clip.dia.fi.upm.es

Language: English - Date: 2009-07-09 07:03:26
193Prolog / XSB / Logic programming / Logic / Continuation / Scheme / Software engineering / Programming language theory / Computer programming

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2009-07-09 07:03:26
194Consciousness / Color theory / Color scheme / Analogous colors / Color wheel / Monochromatic color / Purple / Lavender / Color analysis / Color / Perception / Vision

EmbroideryBasics_Colors.indd

Add to Reading List

Source URL: molliejohanson.com

Language: English - Date: 2011-03-24 14:18:39
195Business / Marxist theory / Buffer stock scheme / Commodities market / John Maynard Keynes / Commodity / Speculation / Macroeconomics / H. C. Coombs / British people / Keynesian economics / Economics

PDF Document

Add to Reading List

Source URL: www.businessandeconomics.mq.edu.au

Language: English - Date: 2009-11-09 20:15:53
196Food industry / Economy of Pakistan / Economic model / Economic growth / Fiscal policy / Unemployment / General equilibrium theory / JEL classification codes / Index of economics articles / Economics / Economic theories / Agricultural economics

University Of Karachi M.A. (Previous) and M.A. (Final) Examination IN ECONOMICS SCHEME OF STUDIES M.A. (Previous)

Add to Reading List

Source URL: www.uok.edu.pk

Language: English - Date: 2015-01-27 08:35:31
197Approximation algorithm / Computational complexity theory / Substring / Computing / Hamming distance / Optimization problem / Mathematics / Theoretical computer science / String

Sharper Upper and Lower Bounds for an Approximation Scheme for Consensus-Pattern Ian Harrower School of Computer Science University of Waterloo

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2005-07-08 16:21:37
198Commitment scheme / Advantage / Ciphertext indistinguishability / Secure multi-party computation / RSA / Semantic security / Cryptography / Cryptographic protocols / Universal composability

Games and the Impossibility of Realizable Ideal Functionality Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Ajith Ramanathan1 , and Andre Scedrov2 1

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2007-12-18 01:29:59
199Economics / Beta / Collective investment scheme / Modern portfolio theory / Portfolio / Active management / Autoregressive conditional heteroskedasticity / DEC Alpha / Sharpe ratio / Financial economics / Investment / Finance

DOC Document

Add to Reading List

Source URL: www.melbournecentre.com.au

Language: English - Date: 2008-04-15 20:49:43
200Lambda calculus / Subroutines / Theoretical computer science / Computability theory / Formal methods / Anonymous function / Scheme / Map / Function / Software engineering / Computing / Computer programming

Opening Thought Anonymous Functions From now on, functions can be anonymous Old code (define (eval-rands rands env fenv)

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2009-02-04 16:35:18
UPDATE